<!DOCTYPE html>
<html>
<head>
    <title>形式验证报告 - {{ top_module }}</title>
    <style>
        .pass { color: green; }
        .fail { color: red; }
    </style>
</head>
<body>
    <h1>验证结果: <span class="{% if result.pass %}pass{% else %}fail{% endif %}">
        {{ "通过" if result.pass else "失败" }}
    </span></h1>
    <p>时间: {{ timestamp }}</p>
    
    <h2>覆盖率概览</h2>
    <ul>
        {% for name, value in result.coverage.items() %}
        <li>{{ name }}: {{ "%.1f"|format(value) }}%</li>
        {% endfor %}
    </ul>
    
    {% if not result.pass %}
    <h2>反例波形</h2>
    <ul>
        {% for trace in result.traces %}
        <li><a href="{{ trace }}">{{ trace }}</a></li>
        {% endfor %}
    </ul>
    {% endif %}
</body>
</html>